Caleiro, Carlos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

What is a logical theory? On theories containing assertions and denials

Blasio, Carolina, Caleiro, Carlos, Marcos, João

Journal:

Year:

2019

Language:

english

File:

PDF, 430 KB

english, 2019

2

Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities

Bruno Montalto, Carlos Caleiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 425 KB

english, 2009

3

Metareasoning about Security Protocols using Distributed Temporal Logic

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 408 KB

english, 2005

4

On the semantics of Alice&Bob specifications of security protocols

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 548 KB

english, 2006

5

Denotational semantics of object specification

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 450 KB

english, 1998

6

Specifying communication in distributed information systems

Hans-Dieter Ehrich, Carlos Caleiro

Journal:

Acta Informatica

Year:

2000

Language:

english

File:

PDF, 174 KB

english, 2000

7

Behavioral Algebraization of Logics

Carlos Caleiro, Ricardo Gonçalves, Manuel Martins

Journal:

Year:

2009

Language:

english

File:

PDF, 527 KB

english, 2009

8

From Fibring to Cryptofibring. A Solution to the Collapsing Problem

Carlos Caleiro, Jaime Ramos

Journal:

Logica Universalis

Year:

2007

Language:

english

File:

PDF, 695 KB

english, 2007

9

Deconstructing Alice and Bob

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 354 KB

english, 2005

10

Distributed temporal logic for the analysis of security protocol models

David Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

11

Synchronization of Logics

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Journal:

Year:

1997

File:

PDF, 1.88 MB

1997

12

Study of complement activation by liposomes of different lipid composition as potential drug-carriers

Ana Paula Landi-Librandi, Taís Nader Chrysostomo, Ana Elisa Caleiro Seixas Azzolini, Carlos Alberto de Oliveira, Cleni Mara Marzocchi-Machado, Yara Maria Lucisano-Valim

Journal:

Molecular Immunology

Year:

2010

Language:

english

File:

PDF, 70 KB

english, 2010

13

Study of quercetin-loaded liposomes as potential drug carriers: in vitro evaluation of human complement activation

Landi-Librandi, Ana Paula, Chrysostomo, Taís Nader, Caleiro Seixas Azzolini, Ana Elisa, Marzocchi-Machado, Cleni Mara, de Oliveira, Carlos Alberto, Lucisano-Valim, Yara Maria

Journal:

Journal of Liposome Research

Year:

2012

Language:

english

File:

PDF, 977 KB

english, 2012

14

Association of arterial events with the coexistence of metabolic syndrome and primary antiphospholipid syndrome

Carlos Ewerton Maia Rodrigues, Eloisa Bonfá, Maria Teresa Correia Caleiro, Margarete B. Vendramini, Cleonice Bueno, Jaqueline B. Lopes, Jozélio Freire de Carvalho

Journal:

Arthritis Care & Research

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

15

Abstract Valuation Semantics

Carlos Caleiro, Ricardo Gonçalves

Journal:

Year:

2013

Language:

english

File:

PDF, 393 KB

english, 2013

16

Inhibitory activity of liposomal flavonoids during oxidative metabolism of human neutrophils upon stimulation with immune complexes and phorbol ester

Landi-Librandi, Ana Paula, Caleiro Seixas Azzolini, Ana Elisa, de Oliveira, Carlos Alberto, Lucisano-Valim, Yara Maria

Journal:

Year:

2012

Language:

english

File:

PDF, 840 KB

english, 2012

17

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators

Carlos Caleiro, Luca Viganò, Marco Volpe

Journal:

Logica Universalis

Year:

2013

Language:

english

File:

PDF, 764 KB

english, 2013

18

Performance and immune response of suckling calves fed organic selenium

Salles, Márcia Saladini Vieira, Zanetti, Marcus Antonio, Junior, Luiz Carlos Roma, Salles, Fernando André, Azzolini, Ana Elisa Caleiro Seixas, Soares, Elyara Maria, Faccioli, Lúcia Helena, Valim, Yara

Journal:

Animal Feed Science and Technology

Year:

2014

Language:

english

File:

PDF, 541 KB

english, 2014

19

Behavioral algebraization of da Costa's C -systems

Caleiro, Carlos, Gonçalves, Ricardo

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 208 KB

english, 2009

20

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - A Labeled Tableaux System for the Distributed Temporal Logic DTL

Basin, David, Caleiro, Carlos, Ramos, Jaime, Vigan, Luca

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

21

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Labeled Deduction System for the Logic UB

Caleiro, Carlos, Viganò, Luca, Volpe, Marco

Year:

2013

Language:

english

File:

PDF, 373 KB

english, 2013

22

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - Two Many Values: An Algorithmic Outlook on Suszko's Thesis

Caleiro, Carlos, Marcos, João

Year:

2010

Language:

english

File:

PDF, 322 KB

english, 2010

23

In vitro evaluation of the antioxidant activity of liposomal flavonols by the HRP–H 2 O 2 –luminol system

Landi-Librandi, Ana Paula, de Oliveira, Carlos Alberto, Caleiro Seixas Azzolini, Ana Elisa, Mariko Kabeya, Luciana, Del Ciampo, José Orestes, Lopes Badra Bentley, Maria Vitória, Lucisano-Valim, Yara M

Journal:

Journal of Microencapsulation

Year:

2011

Language:

english

File:

PDF, 650 KB

english, 2011

24

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics

Caleiro, Carlos, Marcos, João, Volpe, Marco

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.80 MB

english, 2015

25

Combining Logics II || Synchronization of Logics

Amílcar Sernadas, Cristina Sernadas and Carlos Caleiro

Journal:

Year:

1997

Language:

english

File:

PDF, 2.34 MB

english, 1997

26

Decidability and complexity of fibred logics without shared connectives

Marcelino, Sérgio, Caleiro, Carlos

Journal:

Logic Journal of IGPL

Year:

2016

Language:

english

File:

PDF, 538 KB

english, 2016

27

Generalized Probabilistic Satisfiability

Caleiro, Carlos, Casal, Filipe, Mordido, Andreia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 374 KB

english, 2017

28

Compositional Meaning in Logic

Caleiro, Carlos, Viganò, Luca

Journal:

Logica Universalis

Year:

2017

Language:

english

File:

PDF, 473 KB

english, 2017

29

Characterizing finite-valuedness

Caleiro, Carlos, Marcelino, Sérgio, Rivieccio, Umberto

Journal:

Fuzzy Sets and Systems

Year:

2017

Language:

english

File:

PDF, 590 KB

english, 2017

30

[IEEE 2017 IEEE International Conference on Data Mining (ICDM) - New Orleans, LA (2017.11.18-2017.11.21)] 2017 IEEE International Conference on Data Mining (ICDM) - Reputation-Based Ranking Systems and Their Resistance to Bribery

Saude, Joao, Ramos, Guilherme, Caleiro, Carlos, Kar, Soummya

Year:

2017

Language:

english

File:

PDF, 305 KB

english, 2017

31

On the characterization of fibred logics, with applications to conservativity and finite-valuedness

Marcelino, Sérgio, Caleiro, Carlos

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 323 KB

english, 2016

32

[IEEE 2018 Annual American Control Conference (ACC) - Milwaukee, WI, USA (2018.6.27-2018.6.29)] 2018 Annual American Control Conference (ACC) - The robust minimal controllability problem for switched linear continuous-time systems

Ramos, Guilherme, Pequito, Sergio, Caleiro, Carlos

Year:

2018

Language:

english

File:

PDF, 327 KB

english, 2018

33

Combining fragments of classical logic: When are interaction principles needed?

Caleiro, Carlos, Marcelino, Sérgio, Marcos, João

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2018

Language:

english

File:

PDF, 696 KB

english, 2018

34

On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms

Ramos, Guilherme, Boratto, Ludovico, Caleiro, Carlos

Journal:

Information Processing & Management

Year:

2019

Language:

english

File:

PDF, 1.33 MB

english, 2019

35

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities

Caleiro, Carlos, Casal, Filipe, Mordido, Andreia

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 794 KB

english, 2019

36

On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms

Ramos, Guilherme, Boratto, Ludovico, Caleiro, Carlos

Journal:

Information Processing & Management

Year:

2019

File:

PDF, 1.33 MB

2019

37

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities

Caleiro, Carlos, Casal, Filipe, Mordido, Andreia

Journal:

Theoretical Computer Science

Year:

2019

File:

PDF, 794 KB

2019

38

On the index of convergence of a class of Boolean matrices with structural properties

Ramos, Guilherme, Pequito, Sérgio, Caleiro, Carlos

Journal:

International Journal of Control

Year:

2019

Language:

english

File:

PDF, 940 KB

english, 2019

39

Probabilistic logic over equations and domain restrictions

Mordido, Andreia, Caleiro, Carlos

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 609 KB

english, 2019

40

Probabilistic logic over equations and domain restrictions

Mordido, Andreia, Caleiro, Carlos

Journal:

Mathematical Structures in Computer Science

Year:

2019

File:

PDF, 609 KB

2019

41

Calcium biofortification of Rocha pears, tissues accumulation and physicochemical implications in fresh and heat-treated fruits

Pessoa, ClÃ¡udia Campos, Lidon, Fernando Cebola, Coelho, Ana Rita F., Caleiro, JoÃ£o CravidÃ£o, Marques, Ana Coelho, LuÃs, InÃªs Carmo, Kullberg, JosÃ© Carlos, Legoinha, Paulo, Brito, Maria da GraÃ§a

Journal:

Scientia Horticulturae

Year:

2021

File:

PDF, 5.97 MB

2021

42

Towards a Behavioral Algebraic Theory of Logical Valuations

Caleiro, Carlos, GonÃ§alves, Ricardo

Journal:

Fundamenta Informaticae

Year:

2011

File:

PDF, 178 KB

2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски